What trends in non-classical logic were anticipated by Nikolai Vasiliev?
نویسندگان
چکیده
منابع مشابه
What trends in non-classical logic
In this paper we discuss a question about the trends in non-classical logic that were exactly anticipated by Nikolai Vasiliev. We show the influence of Vasiliev’s Imaginary logic on paraconsistent logic. Metatheoretical relations between Vasiliev’s logical systems and many-valued predicate logics are established. We also make clear that Vasiliev has developed a sketch of original system of inte...
متن کاملNon-classical operations hidden in classical logic
Objects of consideration are various non-classical connectives “hidden” in the classical logic in the form of with — a classical connective, and — a propositional variable. One of them is negation, which is defined as ; another is necessity, which is defined as . The new operations are axiomatized and it is shown that they belong to the 4–valued logic of Łukasiewicz.A 2–point Kripke semantics i...
متن کاملVasiliev and the Foundations of Logic
Nikolai Vasiliev offered a systematic approach to the development of a class of non-classical logics, which he called “Imaginary Logics”. In this paper, I examine critically some of the central features of Vasiliev’s approach to logical theory, suggesting its relevance to contemporary debates in the philosophy of logic. I argue that there is much of significant value in Vasiliev’s work, which d...
متن کاملProbability and non-classical logic
Classical tautologies have probability 1. Classical contradictions have probability 0. These familiar features reflect a connection between standard probability theory and classical logic. In contexts in which classical logic is questioned—to deal with the paradoxes of self-reference, or vague propositions, for the purposes of scientific theory or metaphysical anti-realism—we must equally quest...
متن کاملQuasi-classical Logic: Non-trivializable classical reasoning from incosistent information
Here we present a new paraconsistent logic, called quasi-classical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunc-tive normal form and the reasoning process is essentially that of clause nding. We present a proof-theoretic deenition, and semantics, and show that the consequence relation observes reee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Investigations
سال: 2013
ISSN: 2413-2713,2074-1472
DOI: 10.21146/2074-1472-2013-19-0-122-135